En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...) AE es la siguiente (B): “Existen ultraflitros sobre ℕ”. Se sabe que A implica B, pero se desconoce si B implica A. Di Prisco y Henle conjeturan en los artículos ([1], [2]) que esto no ocurre, es decir, conjeturan que B no implica A, en otras palabras, conjeturan que A es más fuerte estrictamente que B, que A es independiente de B, pero esto no se ha podido demostrar todavía aunque se ha intentado hacer desde hace aproximadamente 21 años. Una descripción detallada de este problema abierto puede encontrarse en esta ponencia (dictada en el marco del Día Mundial de la Lógica 14-01-2022) y en el artículo [3]. [1] C. Di Prisco y H. Henle. “Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters”. Journal of Symbolic Logic 65 (2000) 462-473. [2] C. Di Prisco y H. Henle. “Partitions of the reals and choice”. En “Models, algebras and proofs”. X. Caicedo y C.M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999. [3] F. Galindo. “Tópicos de ultrafiltros”. Divulgaciones Matemáticas. Vol. 21, No 1-2, 2020. (shrink)

Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y/o de fundamentos de la matemática. El destacado matemático Joan Bagaria afirma lo siguiente sobre el método de forcing en su artículo "Paul Cohen y la técnica del forcing" (Gaceta de la Real Sociedad Matemática Española, Vol. 2, Nº 3, 1999, págs 543-553) : "Aunque (...) Cohen recibió la medalla Fields por su demostración de la independencia de la hipótesis del continuo y del axioma de elección, su contribución va mucho más allá de estos problemas. Su nuevo método, el forcing, no sólo ha permitido resolver un sinfín de problemas importantes en prácticamente todas las áreas de las matemáticas, si no que ha cambiado para siempre nuestra concepción de la matemática como ciencia". El objetivo principal del siguiente trabajo es estudiar el método de forcing describiendo algunas de sus aplicaciones (forcing de Cohen, forcing aleatorio, forcing de Mathias, forcing de Sacks, forcing de Silver, etc.), y ofreciendo una aproximación a sus fundamentos metamatemáticos. Se aspira que estas notas sirvan de apoyo para aprender dicho método. (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

Modern webpages consist of many rich objects dynamically produced by servers and client terminals at diverse locations, so we face an increase in web response time. To reduce the time, edge computing, in which dynamic objects are generated and delivered from edge nodes, is effective. For ISPs and CDN providers, it is desirable to estimate the effect of reducing the web response time when introducing edge computing. Therefore, in this paper, we derive a simple formula that estimates the lower bound (...) of the reduction of the response time by modeling flows obtaining objects of webpages. We investigate the effect of edge computing in each webpage category, e.g., News and Sports, using data measured by browsing about 1,000 popular webpages from 12 locations in the world on PlanetLab. (shrink)

Mindfulness training has been used to improve emotional wellbeing in early adolescents. However, little is known about treatment outcome moderators, or individual differences that may differentially impact responses to treatment. The current study focused on gender as a potential moderator for affective outcomes in response to school-based mindfulness training. Sixth grade students (N = 100) were randomly assigned to either the six weeks of mindfulness meditation or the active control group as part of a history class curriculum. Participants in the (...) mindfulness meditation group completed short mindfulness meditation sessions four to five times per week, in addition to didactic instruction (Asian history). The control group received matched experiential activity in addition to didactic instruction (African history) from the same teacher with no meditation component. Self-reported measures of emotional wellbeing/affect, mindfulness, and self-compassion were obtained at pre and post intervention. Meditators reported greater improvement in emotional wellbeing compared to those in the control group. Importantly, gender differences were detected, such that female meditators reported greater increases in positive affect compared to females in the control group, whereas male meditators and control males displayed equivalent gains. Uniquely among females but not males, increases in self-reported self-compassion were associated with improvements in affect. These findings support the efficacy of school-based mindfulness interventions, and interventions tailored to accommodate distinct developmental needs of female and male adolescents. (shrink)

In this paper, we use PCR5 in order to fusion the information of two sources providing subjective probabilities of an event A to occur in the following form: chance that A occurs, indeterminate chance of occurrence of A, chance that A does not occur. -/- .

This article takes as its subject matter the juridico-political space of the prisoner of war (POW) camp. It sets out to determine the nature of this space by looking at the experience of war captivity by Jewish members of the Western forces in World War II, focusing on the experience of Emmanuel Levinas, who spent 5 years in German war captivity. On the basis of a historical analysis of the conditions in which Levinas spent his time in captivity, it argues (...) that the POW camp was a space of indifference that was determined by the legal exclusion of prisoners from both war and persecution. Held behind the stage of world events, prisoners were neither able to exercise their legal agency nor released from law into a realm of extra-legal violence. Through a close reading of Levinas’s early concept of the ‘there is’ [il y a], the article seeks to establish the impact on prisoners of prolonged confinement in such a space. It sets out how prisoners’ subjectivity dissolved in the absence of meaningful relations with others and identifies the POW camp as a space in which existence was reduced to indeterminate, impersonal being. (shrink)

Deleuze’ün Spinozacı yaşam tahayyülünde ‘ne yapmalıyız?’ sorusuna normatif, ahlaki ya da siyasi bir yanıt bulamıyoruz ama varoluşu düşünmenin içkin bir olanağını keşfediyoruz. Düşünmeye 'dışarıdan' yani dünyadan başlamak insani (kurgusal) bir dünyaya değil, içinde yaşadığımız gerçek dünyaya inanmak demektir. İçkinliğin politik anlamı düşünceyi dünyaya getirmektir.

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de Gödel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teoría de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades básicas y algunas formas débiles del Axioma de Elección válidas o no válidas en (...) ellas. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo categórico (...) de forma estándar, lo único que hemos leído es su motivación como condición necesaria. El objetivo de este trabajo es ofrecer una fundamentación de las mismas usando la noción de conjunto (o clase) y la técnica de diagramas de Venn, un concepto y una técnica que están expuestos en los principales textos de lógica elemental, incluyendo el referido anteriormente. -/- Abstract: Currently, one of the most widely used textbooks in elementary logic is the one by Irving Copi and Carl Cohen (Introduction to Logic, 2001). They offer rules for deciding the validity of standard categorical syllogisms. But neither that textbook, nor any other we know of, provides the foundations of these rules; that is to say, the demonstration that they are a necessary and sufficient condition for the validity of a standard categorical syllogism. We have only found motivations for the necessary condition. The main goal of this work is to provide a foundation of these rules using the notion of set as well as Venn diagrams, a concept and a technique exposed in the main textbooks of logic, including the aforementioned. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio (...) topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (shrink)

La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con motivo de la celebración del Día Mundial (...) de Lógica 2022 en dos ocasiones: En la Universidad Central de Venezuela (Venezuela) y en la Universidad Mayor de San Andrés (Logic & Analytics Group - La Paz y La Sociedad Científica de Filosofía de la UMSA, Bolivia). Es un proyecto pedagógico en construcción. (shrink)

En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...) de la Filosofía de la matemática. El desarrollo de la investigación arrojó como resultado que tales tópicos son muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el porqué (al final de cada sección y al final del mismo). (shrink)

Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean de utilidad para estudiar (...) dichas pruebas. Vale la pena resaltar que entre los métodos matemáticos que se utilizan en tales demostraciones se encuentran: (1) La técnica de construcción de modelos a partir de constantes (o "método del conjunto maximal consistente con un conjunto de testigos" de Henkin) y (2) el Principio de inducción matemática en varias versiones [ (2.1) Inducción matemática sobre los números naturales y (2.2) Inducción transfinita ((2.2.1) Inducción transfinita sobre conjuntos bien ordenados cualesquiera, por ejemplo sobre un cardinal infinito Alef_alfa, (2.2.2) Inducción transfinita sobre una clase de conjuntos bien ordenada, por ejemplo sobre la "clase de todos los ordinales, finitos o infinitos", y (2.2.3) Inducción transfinita sobre relaciones bien fundamentadas, por ejemplo sobre la "relación de pertenencia" entre conjuntos)]. (shrink)

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de reducción al absurdo (...) para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de A y (...) de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)

El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...) inaccesibles menores que κ , y (iii) Si existe un cardinal medible, entonces el axioma de constructibilidad (V=L) es falso. El objetivo de este artículo es presentar una demostración de cada uno de estos tres teoremas en el contexto de la teoría de modelos usando ideas del texto de Chang y Keisler (Model Theory). Tales demostraciones tienen en común el uso del método de construcción de modelos llamado ultraproductos, de lógicas infinitarias o fragmentos de la lógica de segundo orden, y del axioma de elección. Cardinales grandes y/o ultraproductos son importantes en teoría de conjuntos, teoría de modelos, análisis matemático, teoría de la medida, probabilidades, topología, análisis funcional, física, teoría de números, finanzas, etc. (shrink)

¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog de Lógica (...) Matemática y Fundamentos de la Matemática (ver). También en la entrada "The Continuum Hypothesis" de la web de Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto. En esta breve nota se comenta sobre el tema de una manera divulgativa. (shrink)

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

El objetivo principal de este trabajo es presentar el sistema lógico que resulta de extender, de una manera natural, a la Silogística con la Lógica proposicional, y demostrar que tal extensión se puede caracterizar como un sistema axiomático. Los axiomas que se utilizan son los de Jan Łukasiewicz , y la completitud de tal sistema de axiomas se prueba utilizando un método análogo al método del conjunto maximal consistente con testigos de Henkin, siguiendo algunas ideas que utiliza John Corcoran para (...) probar que su sistema de reglas de inferencia para la Silogística es completo. (shrink)

Reviews Wildberger's account of his rational trigonometry project, which argues for a simpler way of doing trigonometry that avoids irrationals.

Ligado directamente a la dinámica de los movimientos renovadores del arte que surgieron en la España de los años veinte, el texto de Ortega y Gasset ofrece unas perspectivas más amplias y entronca con la renovación de la estética y la historia del arte que había iniciado la tradición teórica e historiográfica alemana a finales del siglo XIX. Ofrecemos, además otros escritos que, como «¿Una exposición Zuloaga?», «La Gioconda», «Diálogo sobre el arte nuevo», «Ensayo de estética a manera de prólogo» (...) y «Sobre la crítica del arte», permiten una mejor comprensión del pensamiento de Ortega y del debate artístico y estético en España. La presente edición va precedida de un prólogo de Valeriano Bozal. (shrink)

Eser, yazarın 2008 yılında tamamlamış olduğu “Kur’an’ın Tasdik Ettiği Tevrat’taki Konular” isimli doktora tezinin 2011 yılında “Tevrat’ın Kur’an’a Arzı-Kur’an’ın Tevrat’ta Tasdik Ettiği Konular” ismiyle basılmasıyla yayın hayatına kazandırılmıştır. Kur’an ve Tevrat’taki konular bu çalışmanın öncesinde ve sonrasında genellikle mukayeseli bir biçimde çalışılmıştır. Gerek Kur’an ve Tefsir alanında gerekse Dinler Tarihi alanında kıssalar, tarihi olaylar, hükümler, uygulamalar gibi pek çok açıdan Kur’an ve Tevrat’a dair özellikle mukayese içeren tezler ve eserler bulunmaktadır. Bu çalışmanın alandaki diğer eserlerden farkı Kur’an’ın Tevrat’ı tasdik edici (...) olmasının ne mânaya geldiğini izah etmesi ve Tevrat’ta yer alan hangi konuları doğrulayıcı olduğunu derli toplu bir şekilde ortaya koymasıdır. (shrink)

It is undeniable that human beings seek happiness and have difficulty finding it. This is not a new phenomenon: ever since ancient times man has wondered about what happiness is, where it lies and how to achieve it. For the Greeks, a people of deep pessimism, the search for happiness (eudaimonia) was a traditional theme of philosophy and it was precisely in Greece where Epicurus ́ (341-270 BC) doctrine of happiness emerged. A cursed and manipulated author (just like his admirer (...) Nietzsche), Epicurus has probably been the thinker who has most lucidly approached the question of eudaimonia. Its doctrine seeks and promises its followers happiness through pleasure (hedoné), self-sufficiency (autarky), friendship (philía) and mental calm (ataraxia), offering itself as medicine against the pain of flesh and the sufferings of the mind. But Epicurean hedonism, which harmonizes well with the ancient Apollonian maxim that wisdom consists of moderation and the knowledge of limits, is totally removed from both the tyranny of the happycracy and from the noxious culture of unrestrained and vacuous desire of contemporary postmodernity. This is precisely why Epicurus's timeless proposal for authentic happiness deserves to be known for everyone: for constituting an effective therapy against the ills that afflict the nihilistic human being of the neoliberal era. (shrink)

El siglo XVIII está considerado como una época en la que el método de investigación newtoniano está bien establecido y su uso no se cuestiona, según autores como Kuhn. Sin embargo, como veremos, esto está muy alejado de la realidad, ya que aquí planteamos los dos objetivos siguientes: por un lado, observaremos como dentro de los propios llamados newtonianos no hay un uso uniforme del método newtoniano y que algunos de ellos incluso lo modifican en sus obras donde exponen la (...) doctrina de Newton. Por otro lado, expondremos el método de Émilie du Châtelet, quien, habiendo leído a Newton y a estos pensadores, siente rechazo hacia la metodología que proponen y se dispone a elaborar lo que se puede considerar un precedente del método hipotético-deductivo utilizado hoy día. Lo que se persigue con el presente estudio, en definitiva, es arrojar luz sobre la situación del newtonianismo del siglo XVIII y mostrar el trabajo de du Châtelet como un puente entre dos épocas en relación a la metodología. (shrink)

On thе bаsis оf аnаlyzing thе dеvеlоpmеnt оf Viеtnаmеsе philоsоphiсаl thоught in thе еаrly twеntiеth сеntury, thе аuthоr mаkеs sоmе bаsiс оbsеrvаtiоns аs fоllоws: firstly, Viеtnаmеsе philоsоphiсаl thоught in thе еаrly twеntiеth сеntury is gоvеrnеd by histоriсаl-spесifiс mаtеriаl аnd sосiаl соnditiоns; sесоnd, thе rесеptiоn оf Mаrxist-Lеninist philоsоphy is оf spесiаl impоrtаnсе; third, thе dеvеlоpmеnt оf nаtiоnаl philоsоphiсаl thоught аt this stаgе is а prосеss оf diаlесtiсаl ассulturаtiоn; fоurth, thе mаin соntеnt оf Viеtnаmеsе philоsоphiсаl thоught in thе еаrly twеntiеth сеntury is (...) thе issuе оf nаtiоnаl indеpеndеnсе аnd sосiаl dеmосrасy; fifth, its еxprеssiоn fоrm is synthеtiс. (shrink)

On thе bаsis оf аnаlyzing thе dеvеlоpmеnt оf Viеtnаmеsе philоsоphiсаl thоught in thе еаrly twеntiеth сеntury, thе аuthоr mаkеs sоmе bаsiс оbsеrvаtiоns аs fоllоws: firstly, Viеtnаmеsе philоsоphiсаl thоught in thе еаrly twеntiеth сеntury is gоvеrnеd by histоriсаl-spесifiс mаtеriаl аnd sосiаl соnditiоns; sесоnd, thе rесеptiоn оf Mаrxist-Lеninist philоsоphy is оf spесiаl impоrtаnсе; third, thе dеvеlоpmеnt оf nаtiоnаl philоsоphiсаl thоught аt this stаgе is а prосеss оf diаlесtiсаl ассulturаtiоn; fоurth, thе mаin соntеnt оf Viеtnаmеsе philоsоphiсаl thоught in thе еаrly twеntiеth сеntury is (...) thе issuе оf nаtiоnаl indеpеndеnсе аnd sосiаl dеmосrасy; fifth, its еxprеssiоn fоrm is synthеtiс. (shrink)

Anadolu’da doğan ve yaşayan doğa bilimcileri ve filozofları Sokrates öncesi düşünce dünyasını yansıtmaktadırlar. Düşünce ve teoriler üretmekte kendilerine göre bir sistem oluşturmuşlardır. Antik dönemde doğa olaylarının kişileştirilip tanrılarla simgelenmesini ve söylencelerle yaygınlaşıp geliştirilmesini, onlara tapınılmasını (pagan tanrılarını) kabul etmeyen bireysel çıkışlar olarak başkaldırmışlardır. M.Ö. 5. yüzyılda Atina’da Yunan Uygarlığı’nın klasik çağına ve doruk noktasına geçişlerinde Anadolu’daki Pers saldırılarından kaçan İyonyalı düşünürlerin ve sanatçıların da rolü bulunmaktadır.

Objective: microRNAs (miRNAs) have important potential as biomarkers in the diagnosis and prognosis of ischemia/reperfusion (I/R) injury in coronary artery bypass grafting surgery (CABG). This study investigated the relationship between preoperative (preop) and postoperative (post-op) cardiac parameters and miRNA expressions in CABG. -/- Methods: We analyzed a total of 94 individuals (CABG, n= 46 and healthy control, n=48). Quantitative real-time polymerase chain reaction (qRT) was performed to determine plasma miRNA expressions (miR-21, miR-181a, miR-199a, miR-199b, and miR-320a-5p) in triplicates: before surgery, (...) 1 hour after surgery, and 24 hours after surgery. The target genes and pathways of miRNA were determined using bioinformatic analysis. The biomarker potentials of miRNAs were evaluated with receiver operating characteristic (ROC) curve analysis. -/- Results: All miRNAs were significantly downregulated (p < 0.05). Troponin I, LVEF, CPK, and CK-MB were found to be statistically significant for operation groups (p < 0.05). miRNA expressions and cardiac markers were associated with troponin I and/or CK-MB. In ROC analyses, miR-199a was a good diagnostic marker. CREBRF and ZNF704 genes may be a target for these miRNAs. -/- Conclusions: Downregulation of miR-199a has a regulatory role in ischemia/reperfusion. They may contribute to CABG pathology through these two genes involved in signaling cascades to turn on protein response and ion binding. (shrink)

Thе оutbrеаk оf thе соrоnаvirus disеаsе 2019 (СОVID-19) саusing milliоns оf pеоplе tо bе infесtеd hаs pоsеd mаjоr publiс hеаlth аnd gоvеrnаnсе сhаllеngеs. This study еvаluаtеs thе еxtеnt tо whiсh thе unаvаilаbility оf intеrnеt fоr сhildrеn tо lеаrn оnlinе during thе pаndеmiс аffесts pаrеntаl psyсhоlоgiсаl wеllbеing. Wе find thаt pаrеnts hаving nо intеrnеt fоr thеir сhildrеn tо lеаrn оnlinе during tо thе pаndеmiс аrе 40.37, 47.22, 43.68, аnd 46.90 pеrсеntаgе pоints mоrе likеly tо fееl аnxiоus, wоrriеd, displеаsеd, аnd dеprеssеd еvеry (...) dаy. Thе study саlls fоr thе еxpаnsiоn оf suppоrts fоr сhildrеn аnd fаmiliеs during thе pаndеmiс, еspесiаlly fоr disprоpоrtiоnаtеly аffесtеd соmmunitiеs. (shrink)

Se dice que el utilitarismo es incompatible con la defensa de los derechos humanos, pues la búsqueda del mayor bien para el mayor número que prescribe el utilitarismo, puede exigir, en ocasiones, pasar por encima de los derechos. Sin embargo, quizá sea posible ofrecer una solución al conflicto presentando una doctrina utilitarista, reconocible como tal, que sea lo suficientemente amplia como para dar cabida a los derechos. La presente obra tiene como objeto exponer la doctrina de John Stuart Mill como (...) buen ejemplo de cómo es posible llevar a cabo esta tarea. (shrink)

El artículo tiene como objetivo describir las competencias informacionales a desarrollar durante la formación profesional. Se presenta los referentes teóricos a partir del empleo de un enfoque de sistema que supone el análisis y la síntesis, la inducción y la deducción como métodos de investigación, con el propósito de dar conocer los hitos en las universidades y organizaciones internacionales relacionadas. La modelación fue empleada para la construcción de un nuevo proyecto de desarrollo de competencias informacionales desde la perspectiva de la (...) formación profesional universitaria ajustada a las necesidades de la educación superior en Cuba. El nuevo proyecto se configura en tres unidades básicas (acceso, procesamiento y comunicación), con sus respectivos elementos de competencia, saberes esenciales e indicadores para la evaluación del desempeño. El artículo fundamenta la tesis de que el desarrollo de competencias informacionales debe ser sistemáticamente estructurado, planificado y ejecutado como parte integral de la formación curricular en interacción con los contenidos de las disciplinas docentes, bajo la dirección del profesor y la participación protagónica de los profesionales en formación. -/- ABSTRACT -/- The article aims at describing the competence to be developed during professional training. It presents the theoretical referents by means of an approach system that includes synthesis and analysis, induction and deduction as research methods in order to reveal the milestones of information skills development in universities and related international organizations. Modeling was used for the construction of a new skills development project from the perspective of university professional training according to the needs of Higher Education in Cuba. The new project is composed of three basic units (access, processing and communication), with their respective competence elements, essential knowledge and indicators for the evaluation of the performance. The article supports the theory that information development skills must be systematically structured, planned and implemented as an integral part of the curricular training in interaction with the contents of subjects, under the teacher´s guidance and the active participation of profesionals in training. -/- . (shrink)

“Gecenin bir yarısı kalktığınızı düşünün; bedeniniz yatağın ayakları arasında tam olarak ne kadar aralık olduğunu ve ne yapması gerektiğini bilir. Bir bakıma, etrafınızdaki mekân sizinle konuşur ve incelikle kurulmuş ritim oyunları arasına yerleştirir sizi. Mekânı hareket, ses ve doku ritimleriyle özümsediğimiz —etrafımızdakilerle yankılandığımız— her gün dolu dolu yaşanan bir olaydır bu. Mekân ve zaman bedende birleşir. Bu derin beden bilinci tam da yerleşmenin tanımıdır. Bachelard mimarinin Öklidci geometriye dayanarak anlaşılmasından kurtarıp mekânın yaratıcı poetikasına ulaştırdı bizi.” -/- Gaston Bachelard’ın hayranlık uyandıran (...) mekân çalışmalarını farklı disiplinlerle birlikte kat etmeyi amaçlayan bu kitap, okurunu hem Bachelard’la hem de onun felsefi, edebi, mimari, tasarım yorumlarıyla buluşturuyor. Farklı disiplinlerin “mekân” fikrinden hareketle aslında sadece mimari için değil ilgili her disiplin için sorulması gereken soruyu gündeme getiriyor: “Mimarlar neden Bachelard okur?” Elinizdeki derleme barındırdığı metin ve görsel çeşitliliğiyle mekânların ritmini bulmaya çalışıyor. Mimari, felsefe ve edebiyat meraklısı okurların keyifle peşine düşeceği bir serüven sunduğumuzu düşünüyoruz. (shrink)

Nonviolent movements mainly characterized by not taking part in and resist-ing violent practices developed no multiple levels have had a significant contribution inputting an end to wars and oppressive systems. However, it is worth asking whether theyhave, consequently, contributed to the construction of peace. This article, centered onGandhi, reflects upon the general contribution of nonviolence for historical changes ar-ticulated through Paul Ricoeur’s critique and interpretation of the influence of these move-ments in the intricate relationship between politics and violence. -/- .

“Il n’y a pas de hors-texte”. Intralinguistic Semantics and Its Philosophical and Cognitive Consequences The aim of this paper is to present and metatheoretically analyse the model of intralinguistic semantics as set forth by Umberto Eco in his Theory of Semiotics. The distinctive feature of this system is the rejection of the realistic category of reference, understood as a correspondence of meaningful units with the extralinguistic domain of interpretation, i.e., with a class of extralinguistic semantic correlates. As a result, the (...) main idea of Eco’s theory is to replace the traditional extralinguistic semantics with the new one, in which the meaning of each unit is determined solely by its relations with the other elements of the system. Language formed in this way is semantically autonomous, intralinguistically closed and self-explaining. Analysis of Eco’s theory by means of the appropriate conceptual apparatus reveals the far-reaching philosophical and cognitive implications of his approach in studies on language, meaning and truth. (shrink)

Spivak translates Derrida’s “il n’y a pas de hors-texte” as “there is nothing outside the text.” By considering how the aphorism works within his study of Rousseau on sexual and textual supplements, and by reviewing related expressions in French, a mistranslation is revealed. This is not a simple error, however. The distortion is generated by Derrida’s own broader context. We must not only distinguish signification from reference but also place the aphorism within Derrida’s allusion, in the first part of Of (...) Grammatology, to an all-embracing arche-writing. The paper ends in thus opening out the discussion of a textual “inside” or “outside.”. (shrink)

La idea que Arturo Ardao nos brinda del hombre se funda en su original visión de la historia de Uruguy y de América Latina. Desde que atiende detalles inadvertidos pero decisivos en los hechos, propende a la aplicación de una nueva lógica, específica de la circunstancia témporo-espacial. Con ello se esboza una filosofía del espacio histórico.

Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...) arithmetical proposition (one which, moreover, might not be provable formally in the first-order Peano Arithmetic PA), where we admit only elementary (i.e., number-theoretic) reasoning, without appeal to analytic properties of real and complex numbers. We cogently argue, further, that any formal proof of FLT needs---as is implicitly suggested by Wiles' proof---to appeal essentially to formal geometrical properties of formal arithmetical propositions. (shrink)

Where three teacher-researchers discuss bipedal walking in humans and where the long-term dynamics of this phenomenon are interpreted in terms of complexity and predictability, two concepts that can be quantified using fractals and the mathematical tools to study them.

Tarihin nesnel olarak yazılamayacağının fark edilmesinin ardından bilim tarihi yazımında da bazı dönüşümler olmuştur. Bu değişiklikler genellikle olumlu olsa da bazı tarih yazımı tartışmaları bilim tarihi metinlerine yeterince yansımamıştır. Bu yazıda Rosalind Franklin örneği üzerinden kadın bilimcilerin bilim tarihinde nasıl ele alındığını tartıştım. Kadınlara bilim tarihinde hak ettikleri yeri verme çabamız sırasında bilim tarihçileri olarak nelere dikkat etmemiz gerektiğini ele aldım. Özellikle vurguladığım noktalar bilimsel araştırma biçimlerinin doğru yansıtılması, kurumsal ayrımcılıkların üstünün örtülmesinden kaçınılması ve ele alınan figürün bilime katkısının (...) açıkça yazılması oldu. Yazıda Franklin hakkındaki literatüre bir katkı sunmayı amaçladım ancak daha da önemlisi Franklin başta olmak üzere kadın bilimciler hakkındaki metinlerde sık yapılan hatalara işaret etmek istedim. -/- Following the realization that history cannot be written objectively, there have been some transformations in the historiography of science. Although these changes are generally positive, some historiography debates have not been adequately reflected in historical texts on science. In this article, I discussed how women scientists are represented in the history of science through the case of Rosalind Franklin. In our effort to give women the place they deserve in the history of science, I have discussed what should we pay attention to as historians of science. My particular emphasis was on reflecting the structure of scientific research correctly, avoiding covering institutional discrimination and clearly writing the contribution of the figure discussed to science. I intend to make a contribution to the literature on Franklin, but more importantly, I tried to point out some common mistakes in texts about women scientists, especially Franklin. (shrink)

Me propongo aquí una reflexión sobre la crisis del humanismo que afecta profundamente a la sociedad y la cultura contemporáneas en todas sus dimensiones. De un modo falsamente optimista, se ha opuesto a esta crisis la figura de un post humanismo triunfante, resultado de los desarrollos de la tecnología contemporánea y sus posibilidades de intervención en el cuerpo y el alma del hombre. Haré aquí una evaluación crítica de ese optimismo, sin por ello reivindicar el viejo humanismo y su razón (...) colonizadora. Trataré de plantear a través de Heidegger y Agamben la condición post humanista y post histórica –en el sentido moderno– en la que nos encontramos. Pero luego intentaré pensar junto a Nietzsche y Bataille una figura del hombre que no es nueva, sino una figura más antigua y creo más profunda, que quedó sepultada bajo la irrupción tectónica del humanismo y su empresa civilizatoria. (shrink)

The aim of this article is to describe in some detail the actual relationship between Charles S. Peirce and Alfred N. Whitehead, paying particular attention to the Peircean notions of science and metaphysics, with the conviction that this contrast can help to understand better the scope and depth of C. S. Peirce’s thought.